доказуемость
11ТЕОРЕМА О ДЕДУКЦИИ — теорема дедукции, – одно из важнейших содержательных утверждений математической логики, определяющее связь между логически правильными (аподиктическими) рассуждениями (или умозаключениями, или выводами) и законами (доказуемыми формулами) логики,… …
12Теорема Лёба — Теорема Лёба  теорема в математической логике о взаимосвязи между доказуемостью утверждения и самим утверждением. Установлена математиком Мартином Хуго Лёбом в 1955 году. Теорема Лёба гласит, что во всякой теории, включающей аксиоматику… …
13НЕПРОТИВОРЕЧИВОСТЬ — отсутствие в системе идей логического противоречия, т.е. некоторого утверждения и его отрицания. Н. постулируется логическим противоречия законом и входит в ядро тех требований, которые предъявляются к рациональному мышлению (см. РАЦИОНАЛЬНОСТЬ ) …
14ФОРМАЛИЗОВАННЫЙ ЯЗЫК — 1) В широком смысле – любая совокупность нек рым образом специализированных языковых средств с (более или менее) точно фиксиров. правилами образования выражений (с и н т а к с и с Ф. я.) и приписывания этим выражениям определ. смысла (с е м а н т …
15ПРОТИВОРЕЧИЕ — в формальной логике наличие (в рассуждении, тексте, теории) двух высказываний, из которых одно отрицание другого; доказуемость конъюнкции этих высказываний или их эквивалентности; в более широком смысле утверждение о тождестве заведомо различных… …
16непротиворечивость — свойство предложений некоторой теории (в случае аксиоматической теории системы ее аксиом), заключающееся в невыводимости из них противоречия. Если отрицание какого то предложения может быть доказано в теории, то о самом предложении говорится, что …
17Аксиоматический метод — способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы (См. Аксиома), или Постулаты, из которых все остальные утверждения этой науки (теоремы (См. Теорема)) должны выводиться… …
18Логическая семантика — раздел логики (См. Логика), посвященный изучению значений и смыслов понятий (См. Понятие) и суждений (См. Суждение) и их формальных аналогов интерпретаций (См. Интерпретация) выражений (термов и формул) различных исчислений (См.… …
19Супранатурализм — (от super, сверх, и natura, природа) утверждает, что истины веры сверхразумны, т. е. их содержание не может быть найдено исключительно при помощи одного разума, а необходимо допустить Божественное откровение. Этот термин имеет более узкое… …
20доказу́емость — и, ж. Свойство по знач. прил. доказуемый. Доказуемость теоремы …
